Type Argument

Definition / 释义

Type argument 指“类型实参”：在泛型（generics）或参数化类型（parameterized types）中，用来替换类型参数（type parameter）的具体类型。常见于 Java/C#/C++/TypeScript 等语言中。
（注：在不同语言/语境下也可能指更广义的“传给类型构造器的参数类型”。）

Pronunciation / 发音

/taɪp ˈɑːrɡjəmənt/

Examples / 例句

In List<String>, String is the type argument.
在 List<String> 中，String 就是类型实参（type argument）。

The compiler checks whether the type argument satisfies the generic constraint before allowing the instantiation.
编译器会在允许实例化之前检查该类型实参是否满足泛型约束。

Etymology / 词源

type 来自希腊语 typos（印记、模子），引申为“类型/类别”；argument 来自拉丁语 argumentum（论据、所给出的内容）。在编程语境里，argument 常指“传入的具体值/具体内容”，因此 type argument 就是“传入的具体类型”。

Related Words / 相关词

• Generic
• Type Parameter
• Parameterized Type
• Template Argument
• Instantiation
• Constraint
• Type Inference

Literary Works / 文学作品

• Effective Java（Joshua Bloch）——在讲解 Java 泛型用法时频繁出现（如 List<String> 这类类型实参的讨论）。
• C# in Depth（Jon Skeet）——讲解泛型、约束与类型推断时会使用 “type argument” 术语。
• Programming in Scala（Martin Odersky 等）——介绍参数化类型与类型推断时会谈到类型实参与类型参数的关系。